Soeken, Mathias: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Logic Synthesis for RRAM-based In-Memory Computing

Shirinzadeh, Saeideh, Soeken, Mathias, Gaillardon, Pierre-Emmanuel, Drechsler, Rolf

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2017

Language:

english

File:

PDF, 1.36 MB

english, 2017

2

Quantum programming languages

Heim, Bettina, Soeken, Mathias, Marshall, Sarah, Granade, Chris, Roetteler, Martin, Geller, Alan, Troyer, Matthias, Svore, Krysta

Journal:

Nature Reviews Physics

Year:

2020

File:

PDF, 1.46 MB

2020

3

[IEEE 2018 IEEE International Symposium on Circuits and Systems (ISCAS) - Florence, Italy (2018.5.27-2018.5.30)] 2018 IEEE International Symposium on Circuits and Systems (ISCAS) - Deep Learning for Logic Optimization Algorithms

Haaswijk, Winston, Collins, Edo, Seguin, Benoit, Soeken, Mathias, Kaplan, Frederic, Susstrunk, Sabine, De Micheli, Giovanni

Year:

2018

Language:

english

File:

PDF, 236 KB

english, 2018

4

A PLiM Computer for the Internet of Things

Soeken, Mathias, Gaillardon, Pierre-Emmanuel, Shirinzadeh, Saeideh, Drechsler, Rolf, Micheli, Giovanni De

Journal:

Year:

2017

Language:

english

File:

PDF, 683 KB

english, 2017

5

[IEEE 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Florence, Italy (2019.3.25-2019.3.29)] 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Scalable Boolean Methods in a Modern Synthesis Flow

Testa, Eleonora, Amaru, Luca, Soeken, Mathias, Mishchenko, Alan, Vuillod, Patrick, Luo, Jiong, Casares, Christopher, Gaillardon, Pierre-Emmanuel, Micheli, Giovanni De

Year:

2019

Language:

english

File:

PDF, 132 KB

english, 2019

6

[IEEE 2020 IEEE International Symposium on Circuits and Systems (ISCAS) - Sevilla (2020.10.12-2020.10.14)] 2020 IEEE International Symposium on Circuits and Systems (ISCAS) - Enumerating Optimal Quantum Circuits using Spectral Classification

Meuli, Giulia, Soeken, Mathias, Roetteler, Martin, De Micheli, Giovanni

Year:

2020

File:

PDF, 6.39 MB

2020

7

[IEEE 2019 IEEE International Symposium on Circuits and Systems (ISCAS) - Sapporo, Japan (2019.5.26-2019.5.29)] 2019 IEEE International Symposium on Circuits and Systems (ISCAS) - Exact Synthesis of Boolean Functions in Majority-of-Five Forms

Chu, Zhufei, Haaswijk, Winston, Soeken, Mathias, Xia, Yinshui, Wang, Lunyao, De Micheli, Giovanni

Year:

2019

Language:

english

File:

PDF, 256 KB

english, 2019

8

[IEEE 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Florence, Italy (2019.3.25-2019.3.29)] 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Reversible Pebbling Game for Quantum Memory Management

Meuli, Giulia, Soeken, Mathias, Roetteler, Martin, Bjorner, Nikolaj, Micheli, Giovanni De

Year:

2019

Language:

english

File:

PDF, 136 KB

english, 2019

9

[Lecture Notes in Computer Science] Reversible Computation Volume 11497 (11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings) || A Birkhoff Connection Between Quantum Circuits and Linear Classical Reversible Circuits

Thomsen, Michael Kirkedal, Soeken, Mathias

Year:

2019

Language:

english

File:

PDF, 237 KB

english, 2019

10

Advanced Boolean Techniques (Selected Papers from the 13th International Workshop on Boolean Problems) || Efficient Hardware Operations for the Residue Number System by Boolean Minimization

Drechsler, Rolf, Soeken, Mathias

Year:

2020

Language:

english

File:

PDF, 756 KB

english, 2020

11

[IEEE 2017 IEEE International Symposium on Circuits and Systems (ISCAS) - Baltimore, MD, USA (2017.5.28-2017.5.31)] 2017 IEEE International Symposium on Circuits and Systems (ISCAS) - RM3 based logic synthesis (Special session paper)

Soeken, Mathias, Gaillardon, Pierre-Emmanuel, De Micheli, Giovanni

Year:

2017

Language:

english

File:

PDF, 96 KB

english, 2017

12

[IEEE 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Florence, Italy (2019.3.25-2019.3.29)] 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Compiling Permutations for Superconducting QPUs

Soeken, Mathias, Mozafari, Fereshte, Schmitt, Bruno, Micheli, Giovanni De

Year:

2019

Language:

english

File:

PDF, 161 KB

english, 2019

13

[IEEE 2015 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2015.9.27-2015.9.30)] 2015 Formal Methods in Computer-Aided Design (FMCAD) - Simulation graphs for reverse engineering

Soeken, Mathias, Sterin, Baruch, Drechsler, Rolf, Brayton, Robert

Year:

2015

Language:

english

File:

PDF, 1.27 MB

english, 2015

14

Advanced Boolean Techniques (Selected Papers from the 13th International Workshop on Boolean Problems) || Improving SAT Solving Using Monte Carlo Tree Search-Based Clause Learning

Drechsler, Rolf, Soeken, Mathias

Year:

2020

Language:

english

File:

PDF, 1.05 MB

english, 2020

15

Verifying the structure and behavior in UML/OCL models using satisfiability solvers

Przigoda, Nils, Soeken, Mathias, Wille, Robert, Drechsler, Rolf

Journal:

IET Cyber-Physical Systems: Theory & Applications

Year:

2016

Language:

english

File:

PDF, 689 KB

english, 2016

16

[Lecture Notes in Computer Science] Reversible Computation Volume 11497 (11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings) || Efficient Realization of Toffoli and NCV Circuits for IBM QX Architectures

Thomsen, Michael Kirkedal, Soeken, Mathias

Year:

2019

Language:

english

File:

PDF, 848 KB

english, 2019

17

[IEEE 2016 IEEE International Symposium on Circuits and Systems (ISCAS) - Montréal, QC, Canada (2016.5.22-2016.5.25)] 2016 IEEE International Symposium on Circuits and Systems (ISCAS) - An extension of transformation-based reversible and quantum circuit synthesis

Soeken, Mathias, Dueck, Gerhard W., Rahman, Md. Mazder, Miller, D. Michael

Year:

2016

Language:

english

File:

PDF, 494 KB

english, 2016

18

[IEEE 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL) - Fredericton, NB, Canada (2019.5.21-2019.5.23)] 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL) - Reversible Pebble Games for Reducing Qubits in Hierarchical Quantum Circuit Synthesis

Bhattacharjee, Debjyoti, Soeken, Mathias, Dutta, Srijit, Chattopadhyay, Anupam, De Micheli, Giovanni

Year:

2019

Language:

english

File:

PDF, 214 KB

english, 2019

19

Trading off circuit lines and gate costs in the synthesis of reversible logic

Wille, Robert, Soeken, Mathias, Michael Miller, D., Drechsler, Rolf

Journal:

Integration, the VLSI Journal

Year:

2014

Language:

english

File:

PDF, 1.03 MB

english, 2014

20

[IEEE 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Lausanne, Switzerland (2017.3.27-2017.3.31)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 - Design automation and design space exploration for quantum computers

Soeken, Mathias, Roetteler, Martin, Wiebe, Nathan, De Micheli, Giovanni

Year:

2017

Language:

english

File:

PDF, 134 KB

english, 2017

21

[IEEE 2015 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) - Daejeon, South Korea (2015.10.5-2015.10.7)] 2015 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) - Reversible circuit rewriting with simulated annealing

Abdessaied, Nabila, Soeken, Mathias, Dueck, Gerhard W., Drechsler, Rolf

Year:

2015

Language:

english

File:

PDF, 716 KB

english, 2015

22

[IEEE 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) - Kosice, Slovakia (2016.4.20-2016.4.22)] 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) - Multi-objective BDD optimization for RRAM based circuit design

Shirinzadeh, Saeideh, Soeken, Mathias, Drechsler, Rolf

Year:

2016

Language:

english

File:

PDF, 126 KB

english, 2016

23

[Lecture Notes in Computer Science] Reversible Computation Volume 11497 (11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings) ||

Thomsen, Michael Kirkedal, Soeken, Mathias

Year:

2019

File:

PDF, 11.27 MB

2019

24

Ancilla-free synthesis of large reversible functions using binary decision diagrams

Soeken, Mathias, Tague, Laura, Dueck, Gerhard W., Drechsler, Rolf

Journal:

Journal of Symbolic Computation

Year:

2016

Language:

english

File:

PDF, 1003 KB

english, 2016

25

[IEEE 2014 Forum on Specification and Design Languages (FDL) - Munich, Germany (2014.10.14-2014.10.16)] Proceedings of the 2014 Forum on Specification and Design Languages (FDL) - Automating the translation of assertions using natural language processing techniques

Soeken, Mathias, Harris, Christopher B., Abdessaied, Nabila, Harris, Ian G., Drechsler, Rolf

Year:

2014

Language:

english

File:

PDF, 278 KB

english, 2014

26

[IEEE 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) - Karlovy Vary, Czech Republic (2013.04.8-2013.04.10)] 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS) - Hardware-Software Co-Visualization: Developing systems in the holodeck

Drechsler, Rolf, Soeken, Mathias

Year:

2013

Language:

english

File:

PDF, 1.69 MB

english, 2013

27

[IEEE 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Lausanne, Switzerland (2017.3.27-2017.3.31)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 - Endurance management for resistive Logic-In-Memory computing architectures

Shirinzadeh, Saeideh, Soeken, Mathias, Gaillardon, Pierre-Emmanuel, De Micheli, Giovanni, Drechsler, Rolf

Year:

2017

Language:

english

File:

PDF, 126 KB

english, 2017

28

[ACM Press the 35th International Conference - Austin, Texas (2016.11.07-2016.11.10)] Proceedings of the 35th International Conference on Computer-Aided Design - ICCAD '16 - FAst generation of lexicographic satisfiable assignments

Petkovska, Ana, Mishchenko, Alan, Soeken, Mathias, De Micheli, Giovanni, Brayton, Robert, Ienne, Paolo

Year:

2016

Language:

english

File:

PDF, 1003 KB

english, 2016

29

[IEEE 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC) - Jeju (2018.1.22-2018.1.25)] 2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC) - A best-fit mapping algorithm to facilitate ESOP-decomposition in Clifford+T quantum network synthesis

Meuli, Giulia, Soeken, Mathias, Roetteler, Martin, Wiebe, Nathan, De Micheli, Giovanni

Year:

2018

Language:

english

File:

PDF, 155 KB

english, 2018

30

Formal Specification Level ||

Soeken, Mathias, Drechsler, Rolf

Year:

2015

Language:

english

File:

PDF, 7.24 MB

english, 2015

31

Advanced Boolean Techniques (Selected Papers from the 13th International Workshop on Boolean Problems) ||

Drechsler, Rolf, Soeken, Mathias

Year:

2020

Language:

english

File:

PDF, 4.48 MB

english, 2020

32

[IEEE Conference Publications Design Automation and Test in Europe - Grenoble, France (2013.03.18-2013.03.22)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 - Determining Relevant Model Elements for the Verification of UML/OCL Specifications

Seiter, Julia, Wille, Robert, Soeken, Mathias, Drechsler, Rolf

Year:

2013

Language:

english

File:

PDF, 168 KB

english, 2013

33

[IEEE 2012 17th Asia and South Pacific Design Automation Conference (ASP-DAC) - Sydney, Australia (2012.01.30-2012.02.2)] 17th Asia and South Pacific Design Automation Conference - Synthesis of reversible circuits with minimal lines for large functions

Soeken, Mathias, Wille, Robert, Hilken, Christoph, Przigoda, Nils, Drechsler, Rolf

Year:

2012

Language:

english

File:

PDF, 167 KB

english, 2012

34

[IEEE 2010 5th International Design and Test Workshop (IDT) - Abu Dhabi, United Arab Emirates (2010.12.14-2010.12.15)] 2010 5th International Design and Test Workshop - Hierarchical synthesis of reversible circuits using positive and negative Davio decomposition

Soeken, Mathias, Wille, Robert, Drechsler, Rolf

Year:

2010

Language:

english

File:

PDF, 646 KB

english, 2010

35

[ACM Press the 2015 - Madrid, Spain (2015.07.11-2015.07.15)] Proceedings of the 2015 on Genetic and Evolutionary Computation Conference - GECCO '15 - Multi-Objective BDD Optimization with Evolutionary Algorithms

Shirinzadeh, Saeideh, Soeken, Mathias, Drechsler, Rolf

Year:

2015

Language:

english

File:

PDF, 775 KB

english, 2015

36

[IEEE 2015 IEEE International Symposium on Multiple-Valued Logic (ISMVL) - Waterloo, ON, Canada (2015.5.18-2015.5.20)] 2015 IEEE International Symposium on Multiple-Valued Logic - Fredkin-Enabled Transformation-Based Reversible Logic Synthesis

Soeken, Mathias, Chattopadhyay, Anupam

Year:

2015

Language:

english

File:

PDF, 195 KB

english, 2015

37

[IEEE 2015 IEEE International Symposium on Multiple-Valued Logic (ISMVL) - Waterloo, ON, Canada (2015.5.18-2015.5.20)] 2015 IEEE International Symposium on Multiple-Valued Logic - Dynamic Template Matching with Mixed-Polarity Toffoli Gates

Rahman, Md Mazder, Soeken, Mathias, Dueck, Gerhard W.

Year:

2015

Language:

english

File:

PDF, 192 KB

english, 2015

38

The complexity of error metrics

Keszocze, Oliver, Soeken, Mathias, Drechsler, Rolf

Journal:

Information Processing Letters

Year:

2018

Language:

english

File:

PDF, 278 KB

english, 2018

39

[IEEE 2020 IEEE International Conference on Quantum Computing and Engineering (QCE) - Denver, CO, USA (2020.10.12-2020.10.16)] 2020 IEEE International Conference on Quantum Computing and Engineering (QCE) - Quantum Circuits for Functionally Controlled NOT Gates

Soeken, Mathias, Roetteler, Martin

Year:

2020

File:

PDF, 189 KB

2020

40

Complexity of reversible circuits and their quantum implementations

Abdessaied, Nabila, Amy, Matthew, Drechsler, Rolf, Soeken, Mathias

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 374 KB

english, 2016

41

Mapping Monotone Boolean Functions into Majority

Testa, Eleonora, Soeken, Mathias, Amaru, Luca, Haaswijk, Winston, De Micheli, Giovanni

Journal:

IEEE Transactions on Computers

Year:

2018

Language:

english

File:

PDF, 345 KB

english, 2018

42

[IEEE 2019 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (PACRIM) - Victoria, BC, Canada (2019.8.21-2019.8.23)] 2019 IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (PACRIM) - A Hybrid Method for Spectral Translation Equivalent Boolean Functions

Soeken, Mathias, Testa, Eleonora, Miller, D. Michael

Year:

2019

Language:

english

File:

PDF, 1.36 MB

english, 2019

43

[ACM Press the 27th Symposium - Aracaju, Brazil (2014.09.01-2014.09.05)] Proceedings of the 27th Symposium on Integrated Circuits and Systems Design - SBCCI '14 - Self-Verification as the Key Technology for Next Generation Electronic Systems

Drechsler, Rolf, Le, Hoang M., Soeken, Mathias

Year:

2014

Language:

english

File:

PDF, 233 KB

english, 2014

44

[ACM Press the 53rd Annual Design Automation Conference - Austin, Texas (2016.06.05-2016.06.09)] Proceedings of the 53rd Annual Design Automation Conference on - DAC '16 - Unlocking efficiency and scalability of reversible logic synthesis using conventional logic synthesis

Soeken, Mathias, Chattopadhyay, Anupam

Year:

2016

Language:

english

File:

PDF, 323 KB

english, 2016

45

[IEEE 2016 Formal Methods in Computer-Aided Design (FMCAD) - Mountain View, CA, USA (2016.10.3-2016.10.6)] 2016 Formal Methods in Computer-Aided Design (FMCAD) - Equivalence checking using Gröbner bases

Sayed-Ahmed, Amr, Grobe, Daniel, Soeken, Mathias, Drechsler, Rolf

Year:

2016

Language:

english

File:

PDF, 707 KB

english, 2016

46

[IEEE 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) - Novi Sad, Serbia (2017.5.22-2017.5.24)] 2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL) - Classifying Functions with Exact Synthesis

Haaswijk, Winston, Testa, Eleonora, Soeken, Mathias, Micheli, Giovanni De

Year:

2017

Language:

english

File:

PDF, 177 KB

english, 2017

47

[IEEE 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Irvine, CA (2017.11.13-2017.11.16)] 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Enabling exact delay synthesis

Amaru, Luca, Soeken, Mathias, Vuillod, Patrick, Luo, Jiong, Mishchenko, Alan, Gaillardon, Pierre-Emmanuel, Olson, Janet, Brayton, Robert, De Micheli, Giovanni

Year:

2017

Language:

english

File:

PDF, 699 KB

english, 2017

48

[IEEE 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Dresden, Germany (2018.3.19-2018.3.23)] 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Programming quantum computers using design automation

Soeken, Mathias, Haener, Thomas, Roetteler, Martin

Year:

2018

Language:

english

File:

PDF, 159 KB

english, 2018

49

[IEEE 2013 8th International Workshop on Automation of Software Test (AST) - San Francisco, CA, USA (2013.05.18-2013.05.19)] 2013 8th International Workshop on Automation of Software Test (AST) - Towards automatic scenario generation from coverage information

Diepenbeck, Melanie, Soeken, Mathias, Grobe, Daniel, Drechsler, Rolf

Year:

2013

Language:

english

File:

PDF, 201 KB

english, 2013

50

Atomic distributions in crystal structures solved by Boolean satisfiability techniques

Soeken, Mathias, Drechsler, Rolf, Fischer, Reinhard X.

Journal:

Zeitschrift für Kristallographie - Crystalline Materials

Year:

2016

Language:

english

File:

PDF, 905 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски